Nuprl Definition : normal-ds
11,40
postcript
pdf
normal-ds{i:l}(
ds
) == fpf-all(Id; id-deq;
ds
;
x
,
A
.
A
)
latex
Definitions
fpf-all(
A
;
eq
;
f
;
x
,
v
.
P
(
x
;
v
))
,
Id
,
id-deq
FDL editor aliases
normal-ds
origin